Software studies

Results: 1129



#Item
531Higher-order functions / Recursion / Map / Function / First-order logic / Functor / Fold / Mizar system / Sheaf / Software engineering / Computing / Declarative programming

STUDIES IN LOGIC, GRAMMAR AND RHETORIC[removed]Proving the Correctness of Functional Programs using Mizar Yatsuka Nakamura Shinshu University

Add to Reading List

Source URL: mizar.org

Language: English - Date: 2010-03-05 21:10:35
532First-person shooters / Windows games / Dystopian fiction / Video games / Game studies / Plagiarism / BioShock / Doom / Fiction / Digital media / Application software / Electronic games


 
 
 Fall
2010
 ENGL
398D:
Videogames
and/as
Literature


Add to Reading List

Source URL: www.shinyspinning.com

Language: English - Date: 2012-02-16 12:05:25
533Windows games / First-person shooters / Biopunk / Horror video games / Linux games / BioShock / Video game / Game studies / Doom / Digital media / Application software / Games

      Fall  2011   ENGL  398D:  Videogames  and/as  Literature  

Add to Reading List

Source URL: shinyspinning.com

Language: English - Date: 2013-02-21 16:05:01
534Computing / Software / Computer architecture / ITunes / Multi-touch / IOS / Android / IOS SDK / Smartphones / IPhone / Cloud clients

Roxanne Dash Brittain Computer Science Student, UCSB Education 2012–2014 B.S. Computer Science, University of California, Santa Barbara - College of Creative Studies, GPA: [removed]–2012 Computer Science, Santa Barb

Add to Reading List

Source URL: roxannebrittain.com

Language: English - Date: 2014-09-20 06:07:46
535Environmental engineering / Environmental soil science / Green infrastructure / Landscape / Stormwater / Rain garden / Surface runoff / Software maintenance / Storm drain / Environment / Water pollution / Earth

A Survey of Green Infrastructure Maintenance Programs in the United States Caitlin Feehan, P.E., LEED AP Master of Environmental Management Candidate Yale School of Forestry and Environmental Studies

Add to Reading List

Source URL: environment.yale.edu

Language: English - Date: 2014-05-16 13:13:35
536Software / Environment / Gerontology / X Window System / Street / Ageing / Cycling / Compact City / Automobile dependency / Sustainable transport / Transport / Urban studies and planning

Hindawi Publishing Corporation Current Gerontology and Geriatrics Research Volume 2012, Article ID[removed], 10 pages doi:[removed][removed]Research Article

Add to Reading List

Source URL: downloads.hindawi.com

Language: English - Date: 2014-03-26 09:37:51
537Social information processing / Community building / Educational software / Media studies / Election technology / Online deliberation / Learning platform / Collective intelligence / Learning analytics / Technology / Science / Knowledge

DCLA14 discussion paper: Buckingham Shum, De Liddo & Klein Working Paper for discussion — 2nd International Workshop on Discourse-Centric Learning Analytics, LAK14: 4th International Conference on Learning Analytics &

Add to Reading List

Source URL: catalyst-fp7.eu

Language: English - Date: 2014-05-07 03:37:20
538Management information system / Information systems / Management / Business / Technology / TCNJ School of Business / Information technology management / Business software / Decision theory

Bachelor of Arts Management Information Systems School of Graduate and Professional Studies The Management Information Systems (MIS) program has been updated significantly to reflect the demands of the current business e

Add to Reading List

Source URL: www.ursuline.edu

Language: English
5390L / Boo / Rhetoric / Software engineering / Computing / Computer programming

[removed]Undergraduate Bulletin Course Descriptions Humanities and Social Sciences AREAS OF STUDY Global Studies

Add to Reading List

Source URL: www.rose-hulman.edu

Language: English - Date: 2013-07-09 09:54:18
540Software architecture / Social cohesion / Organisation for Economic Co-operation and Development / Interreg / Structure / Cultural studies / European Union / Sociology / Cohesion

SOCIAL COHESION IN AFRICA Experts’ meeting Rabat, Morocco, 13 April 2011

Add to Reading List

Source URL: www.oecd.org

Language: English - Date: 2014-07-21 04:31:49
UPDATE